Hong Kong University of Science and Technology - PDFSEARCH.IO - Document Search Engine

Hong Kong University of Science and Technology
Results: 1360

#	Item
491	The Hong Kong University of Science and Technology Add to Reading List Source URL: www.bm.ust.hk Language: English - Date: 2011-02-07 21:01:33 Artificial intelligence Cybernetics Neuroscience Information systems Conference on Neural Information Processing Systems
492	The Hong Kong University of Science and Technology Add to Reading List Source URL: www.bm.ust.hk Language: English - Date: 2011-01-23 20:24:15 Information manipulation theory Communication Deception Human behavior
493	HKSA annual report For Prof Cheung Yuet-wah Annual meeting, 3 DecMembership status (updated Jan 2011): 39 student members, 41 regular members (double of previous years), and 43 life members. Add to Reading List Source URL: www.hksa.ust.hk Language: English - Date: 2011-12-01 22:22:56 Hong Kong University of Science and Technology Sai Kung District Tai Po Tsai
494	The Hong Kong University of Science and Technology Add to Reading List Source URL: www.bm.ust.hk Language: English - Date: 2011-02-09 22:52:59 McCombs School of Business The Washington Campus Organic
495	The Hong Kong University of Science and Technology Add to Reading List Source URL: www.bm.ust.hk Language: English - Date: 2011-11-20 20:49:43 Finance Commerce Trade credit Supply chain Business Supply chain management Management
496	MScISM Luncheon Seminar Department of Information Systems, Business Statistics & Operations Management School of Business and Management The Hong Kong University of Science and Technology Date: Add to Reading List Source URL: www.bm.ust.hk Language: English - Date: 2011-05-16 02:37:54 Videotelephony Compaq Hong Kong University of Science and Technology Computing Electronic engineering Year of birth missing Technology Cisco Systems Deep packet inspection
497	The Hong Kong University of Science and Technology Add to Reading List Source URL: www.bm.ust.hk Language: English - Date: 2011-03-14 21:49:08 Supply chain Procurement Commodity Futures contract Spot contract Financial risk Business Supply chain management Commodity market
498	A Formalization of Programs in First-Order Logic with a Discrete Linear Order∗ Fangzhen Lin () Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, H Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2014-03-07 00:56:20 Logic in computer science Functions and mappings Formal methods Function First-order logic Predicate transformer semantics FO Quasigroup Dynamic logic Mathematics Mathematical logic Logic
499	The Hong Kong University of Science and Technology Add to Reading List Source URL: www.bm.ust.hk Language: English - Date: 2011-02-23 04:20:23 Management Information Systems Quarterly Information Systems Research Cloud computing Sogang University Adoption Systems theory Academia Science Publishing Information systems
500	From Answer Set Logic Programming to Circumscription via Logic of GK Fangzhen Lin and Yi Zhou Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-10-13 03:43:14 Mathematics Non-classical logic Model theory Predicate logic Modal logic Stable model semantics First-order logic Interpretation Autoepistemic logic Logic Mathematical logic Logic programming

UPDATE